Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
811	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
812	LEGACY SYSTEM SOFTWARE SUSTAINMENT Using Combinatorial Testing to Reduce Software Rework Redge Bartholomew, Rockwell Collins Add to Reading List Source URL: www.crosstalkonline.org Language: English - Date: 2014-01-06 01:55:45 NuSMV Control theory Model checking Software testing Software Code coverage
813	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
814	Checking, Selecting & Predicting with GAMs Simon Wood Mathematical Sciences, University of Bath, U.K. Model checking I Add to Reading List Source URL: people.bath.ac.uk Language: English - Date: 2009-11-23 03:34:20
815	Assessing Quality of Policy Properties in Verification of Access Control Policies Evan Martin JeeHyun Hwang Tao Xie Computer Science Department Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-11-16 00:00:00 Software testing Applied mathematics Biology XACML Formal verification Mutants Lac operon Model checking Verification Formal methods Logic in computer science Mutation testing
816	Access Control Policy Authori Tool Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2010-12-07 00:00:00 NuSMV Model checking Role-based access control XACML Access control Security Model checkers
817	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-01-07 00:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
818	Conformance Checking of Access Control Policies Specified in XACML Vincent C. Hu1 1 Evan Martin2 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-11-16 00:00:00 Identity management XACML PERMIS Role-based access control Security Assertion Markup Language Authorization OASIS Discretionary access control Model checking Security Computer security Access control
819	Model 100 v5.2.0 Pre-Election Day Checklist Checking Supplies and the Equipment 1. 1 paper spool per scanner per election Add to Reading List Source URL: www.state.in.us Language: English - Date: 2014-08-08 15:52:42 Image scanner Ballot Election Systems & Software Technology Accountability Electronic voting Politics Information society
820	May 27, [removed]:33 WSPC/117-IJSEKE S021819401100513X - Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-02-03 09:41:10 Mandatory access control Model checking Role-based access control Computation tree logic PERMIS Security Computer security Access control

UPDATE